Design methods - PDFSEARCH.IO - Document Search Engine

Design methods
Results: 3925

#	Item
231	Wedding Boolean Solvers with Superposition: a Societal Reform Simon Cruanes École polytechnique and INRIA, 23 Avenue d’Italie, 75013 Paris, France https://who.rocq.inria.fr/Simon.Cruanes/ Add to Reading List Source URL: cedeela.fr Language: English - Date: 2015-03-03 04:50:17 NP-complete problems Logic in computer science Boolean algebra Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem Solver Boolean data type Theoretical computer science Applied mathematics Mathematics
232	CHI 2010: alt.ernative Methods April 10–15, 2010, Atlanta, GA, USA Communicating Software Agreement Content Using Narrative Pictograms Add to Reading List Source URL: www.mjskay.com Language: English - Date: 2015-05-09 18:09:16 Communication design Infographics Graphic design Software design Object-oriented design Graphics Information graphics Diagrams Design Software engineering
233	To appear at EPIC 2013: Ethnographic Praxis in Industry Conference, 15-18 September 2013, Royal Institution, London. Full paper will be published, openaccess, in proceedings by American Anthropological Association, Washi Add to Reading List Source URL: www.suslabnwe.eu Language: English - Date: 2013-06-14 08:53:25 Anthropology Sociology Evaluation Qualitative research Scientific method Ethnography Service design Economic model Evaluation methods Science Methodology
234	Teachers’ Learning of Mathematics in the Presence of Technology: Participatory Cognitive Apprenticeship Add to Reading List Source URL: www.education.wichita.edu Language: English - Date: 2002-03-17 15:50:55 Situated learning Instructional design Technology integration Computer-supported collaborative learning Constructivist teaching methods Education Educational psychology E-learning
235	HARD-TO-REACH POPULATIONS: INTERNALLY DISPLACED JENNIFER KELLEY, ELLIE HOWE, BETH-ELLEN PENNELL UNIVERSITY OF MICHIGAN International Workshop on Comparative Survey Design and Implementation Add to Reading List Source URL: csdiworkshop.org Language: English - Date: 2013-01-19 14:57:00 Persecution Science Data collection Evaluation methods Market research Methodology Survey methodology Forced migration Statistics Internally displaced person
236	LangSec: Recognition, Validation, and Compositional Correctness for Real World Security Mission Statement. Language-theoretic security (LangSec) is a design and programming philosophy that focuses on formally correct and Add to Reading List Source URL: langsec.org Language: English - Date: 2014-12-19 03:59:22 Applied mathematics Formal verification Specification Theoretical computer science Evaluation Formal methods Software bug Parsing
237	The Polyhedral Model Definitions Operations on Polyhedra Quantifier Elimination and SMT solvers Last Words Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-05-14 05:12:13 Electronic design automation Formal methods Logic in computer science NP-complete problems Compiler optimizations Polyhedron Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Theoretical computer science Mathematics Applied mathematics
238	Our Common Future? Political questions for designing social innovation Ramia Mazé, Interactive Institute Swedish ICT, Kista, Sweden, Abstract Design roles are expanding in society, as reflected in a gr Add to Reading List Source URL: www.drs2014.org Language: English - Date: 2014-04-28 08:32:10 Aesthetics Social innovation Design methods Participatory design Innovation Culture Living lab Design Structure Visual arts
239	Vivado Design Suite Advanced XDC and Static Timing Analysis for ISE Software Users FPGA 2 VIVA11000-ILT (v1.0) Add to Reading List Source URL: www.xilinx.com Language: English - Date: 2014-06-17 12:40:57 Xilinx ISE Formal methods Field-programmable gate array Hardware description languages Xilinx Timing closure Static timing analysis Application-specific integrated circuit Design closure Electronic engineering Electronic design automation Electronics
240	Robert A. Young SSC 4223 Public Administration 9914 RESEARCH METHODS and STATISTICS Autumn 2014 Add to Reading List Source URL: localgovernment.uwo.ca Language: English - Date: 2014-08-21 11:02:04 Statistical methods Scientific method Parametric statistics Research methods Linear regression Regression analysis Analysis of variance Quantitative research Design of experiments Statistics Science Econometrics

UPDATE